منابع مشابه
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only knowing due to Levesque. In this paper, we propose the logic AOL, which combines both approaches in a clean and natural way. We present a semantics for AOL which generalizes the semantics of OL to account for actions, and...
متن کاملAOL: essential for sending junk e-mail?
Micro Law S hould marketers providing e-mail advertising to sellers of weight loss, phone sex, and get-rich-quick-scheme services have a right to send unsolicited e-mail via online services such as AOL? Does the First Amendment of the US Constitution guarantee such access as a form of free speech? Do the antitrust laws prohibit AOL and other servers from denying these marketers access to an ess...
متن کاملCase study: AOL instant messenger trace evidence
This article provides a case study showing the investigative usefulness of trace evidence relating to America Online Instant Messenger (AIM). Digital forensic examiners were provided with two computers and tasked to find any evidence of AIM conversations occurring between two AIM screen names. The examiners found evidence of communications and other linkages between the two computers related to...
متن کاملStratified analysis of AOL query log
Characterizing user’s intent and behaviour while using a retrieval information tool (e.g a search engine) is a key question on web research, as it hold the keys to know how the users interact, what they are expecting and how we can provide them information in the most beneficial way. Previous research has focused on identifying the average characteristics of user interactions. This paper propos...
متن کاملOffline List Update is NP-Hard
In the offline list update problem, we maintain an unsorted linear list used as a dictionary. Accessing the item at position i in the list costs i units. In order to reduce access cost, we are allowed to update the list at any time by transposing consecutive items at a cost of one unit. Given a sequence of requests one has to serve in turn, we are interested in the minimal cost needed to serve ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Network Management
سال: 2003
ISSN: 1055-7148,1099-1190
DOI: 10.1002/nem.477